Systems Modeling Language - PDFSEARCH.IO - Document Search Engine

Systems Modeling Language
Results: 1448

#	Item
101	Wednesday, May 13 08:00-09:00 Registration 09:00-09:30 Add to Reading List Source URL: rcis2015.hua.gr Language: English - Date: 2015-05-10 06:12:04 Software engineering Engineering Computing Scientific modeling Process management Enterprise modelling Systems engineering Enterprise architecture Business process modeling Colette Rolland Modeling language Requirements elicitation
102	9th International Conference on Research Challenges in Information Science, May, Athens, Greece Doctoral Consortium Model-Based Enterprise Information System Add to Reading List Source URL: rcis2015.hua.gr Language: English - Date: 2015-05-25 09:38:30 Systems engineering Engineering Systems science Software Systems Modeling Language Model-based systems engineering International Council on Systems Engineering Enterprise Architect ISO/IEC 42010 Modeling language Papyrus System of systems
103	Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-10 04:18:47 Software engineering Computing ISO standards Bernhard Rumpe Unified Modeling Language Kevin Lano Software and Systems Modeling Modeling language Jean-Marc Jzquel Domain-specific modeling Enterprise engineering
104	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
105	Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2011-11-11 10:35:21 Software Computing Unified Modeling Language Programming paradigms Object Constraint Language ECO Executable UML Imperative programming Statement Assignment Eclipse Modeling language
106	UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|fhilken}@informatik.uni-bremen.de Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-13 11:11:13 Unified Modeling Language Systems engineering Scientific modeling ECO Model-driven architecture Metamodeling Entityrelationship model Invariant Model transformation Class diagram Object Constraint Language Executable UML
107	On Metamodel Superstructures Employing UML Generalization Features Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|ms\|lhamann\|fhilken}@informat Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-09-25 05:25:34 Unified Modeling Language Metamodeling Scientific modeling Software design Metaclass ECO Object Process Methodology Relational model Class Model-driven architecture Kermeta
108	Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla\|lhamann\|fhilken}@informatik.uni-bremen. Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-05-13 01:59:22 Unified Modeling Language Systems engineering Relational model ECO Database Model transformation Metamodeling Class diagram
109	Microsoft Word - OCL2011-2.doc Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2011-11-11 09:24:18 Workflow technology Engineering Software engineering Business Diagrams Process management ISO standards Activity diagram Systems Modeling Language Workflow pattern ECO Workflow
110	Employing Classifying Terms for Testing Model Transformations Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:58 Unified Modeling Language Software engineering Computing Engineering Software testing Systems engineering Software design Scientific modeling Model-based testing ECO Metamodeling Class diagram

UPDATE